2241. The structure of models of Peano arithmetic
پدیدآورنده : Roman Kossak, James H. Schmerl
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc
رده :
QA
9
.
7
.
K67
2006
2242. The symbolic computation of integrability structures for partial differential equations /
پدیدآورنده : Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,Differential calculus & equations.,Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Maths for computer scientists.
رده :
QA377
2243. The technique of theory construction
پدیدآورنده : Woodger, Joseph Henry
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
Q
121
.
I5
Vol
.
2
No
.
5
2244. The temporal logic of reactive and concurrent systems
پدیدآورنده : Manna, Zohar
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3564
1991
2245. <The> theory of models
پدیدآورنده : / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
BC135
،.
I5
1965
2246. The theory of models
پدیدآورنده : edited by J.W. Addison, Leon Henkin, Alfred Tarski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
2247. The theory of models; proceedings
پدیدآورنده :
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Logic Symbolic and mathematical models-Congresses
رده :
BC
135
.
I586
2248. The theory of models; proceedings
پدیدآورنده : Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
2249. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R412
1949
2250. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R412
1971
2251. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R413
2252. The uncertain reasoner's companion : a mathematical perspective
پدیدآورنده : Paris, J. B.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Uncertainty,، Reasoning
رده :
QA
9
.
P26
2253. Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings
پدیدآورنده : Jim Grundy, Malcolm Newey, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1479
2254. Theorem proving with analytic tableaux and related methods :
پدیدآورنده : Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
رده :
QA76
.
9
.
A96
P484
1995
2255. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings
پدیدآورنده : P. Miglioli ... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1071
2256. Theorem proving with the real numbers.
پدیدآورنده : John Harrison
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
9
.
A96
J646
2012
2257. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R668
2006
2258. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J., 6591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R68T4
2259. Theorems, corollaries, lemmas, and methods of proof /
پدیدآورنده : Richard J. Rossi
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Textbooks,Mathematical analysis-- Foundations, Textbooks,Proof theory, Textbooks
رده :
QA9
.
54
.
R668
2006
2260. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : / Richard J. Rossi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
54
.
R668
2006
